A Logical Approach to Reasoning about Uncertainty: a Tutorial
نویسنده
چکیده
I consider a logical framework for modeling uncertainty based on the use of possible worlds that incorporates knowledge probability and time This turns out to be a powerful approach for modeling many problems of interest I show how it can be used to give insights into among other things several well known
منابع مشابه
A Simple Logical Approach to Reasoning with and about Trust
Trust is an approach to managing the uncertainty about autonomous entities and the information they store, and so can play an important role in any decentralized system. As a result, trust has been widely studied in multiagent systems and related fields such as the semantic web. Here we introduce a simple approach to reasoning about trust with logic.
متن کاملPreferential Structures for Comparative Probabilistic Reasoning
Qualitative and quantitative approaches to reasoning about uncertainty can lead to different logical systems for formalizing such reasoning, even when the language for expressing uncertainty is the same. In the case of reasoning about relative likelihood, with statements of the form φ % ψ expressing that φ is at least as likely as ψ, a standard qualitative approach using preordered preferential...
متن کاملCS 10701: Final project report. Textual entailment in the domain of physics
Bag-of-words methods to the problems of semantic text classification and textual entailment have seen some successful applications [3], their straightforward applications are known to break when the training data is sparse, the number of classes is large, or classes do not have clear syntactic boundaries (for example when negational, conditional sentence markers significantly affect classificat...
متن کاملForming Beliefs about a Changing World
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitable in many contexts. In particular, we often face uncertainty, due either to lack of knowledge or to some probabilistic aspects of the world. While attempts have been made to address aspects of this problem, most notab...
متن کاملReasoning about Uncertainty in Metric Spaces
We set up a model for reasoning about metric spaces with belief theoretic measures. The uncertainty in these spaces stems from both probability and metric structures. To represent both aspect of uncertainty, we choose an expected distance function as a measure of uncertainty. A formal logical system is constructed for the reasoning about expected distance. Soundness and completeness are shown f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995